_'s⁇current element:=_

Definitions:

writer, any
Source: /avail/Avail/Data Abstractions/Iterators/Abstract Iterators
Categories: Data Abstractions, Writers
Set the specified writer's current element without advancing.
Position Name Type Description
Parameters
1 aWriter writer A writer.
2 element any The element to write.
Returns ⊤
buffered writer, any
Source: /avail/Avail/Data Abstractions/Iterators/Buffered Iterators
Categories: Data Abstractions, Iterators
Overwriting the current element with _'s⁇current element:=_ probably won't happen much for buffered iterators, but here's the inefficient implementation in terms of Write_to_.
Position Name Type Description
Parameters
1 aWriter buffered writer
2 element any
Returns ⊤

Semantic restrictions:

writerType, elementType
Source: /avail/Avail/Data Abstractions/Iterators/Abstract Iterators
Ensure the values provided to any writer are suitable for that writer.
Type Description
Parameter Types
writerType writer's type The type of writer being probed.
elementType any's type The type of value being written.
Returns ⊤